John Searle’s Chinese Room Argument purports to demonstrate that syntax is not sufficient for semantics, and, hence, because computation cannot yield understanding, the computational theory of mind, which equates the mind to an information processing system based on formal computations, fails. In this paper, we use the CRA, and the debate that emerged from it, to develop a philosophical critique of recent advances in robotics and neuroscience. We describe results from a body of work that contributes to blurring the divide (...) between biological and artificial systems; so-called animats, autonomous robots that are controlled by biological neural tissue and what may be described as remote-controlled rodents, living animals endowed with augmented abilities provided by external controllers. We argue that, even though at first sight, these chimeric systems may seem to escape the CRA, on closer analysis, they do not. We conclude by discussing the role of the body–brain dynamics in the processes that give rise to genuine understanding of the world, in line with recent proposals from enactive cognitive science. (shrink)

Corporate Social Responsibility is a label covering managerial checks and institutional balances introduced against the background of ethical values. Values are clearly formulated and organizational processes are designed with the inclusion of stakeholders and their voice in mind. In case of the post-communist societies designers of CRS cope with an additional level of complexity. Original sin of market reforms after the political fall of the communist regimes is the corrupt take-over of markets and democracies. Social institutions of capitalist markets and (...) democratic states have been subverted and invaded by the unpurged networks of the post-communist power elites. They privatized the wealth of state enterprises becoming new owners of economic resources and they drifted towards the top functions in state institutions becoming post-communist power brokers. Their long-term monopoly of the media left them in command of the mainstream PR communications long after their absolute political power was gone. Democratic institutions, and the right to free speech are daily challenged by influential image and market competition. They cannot be taken for granted. Some democratic institutions are undermined by subversive networks of the corrupt mafias often formed by ex-functionaries of the communist party and her secret services. Their tacit power is explicitly legitimized by media-clusters of cultural representatives of the communist ex-power elites exploiting leftist bias of media mainstreams. (shrink)

Starting with the distinction of the historical versus the adaptative approach towards dialectical philosophy, The author provides a critical discussion of rod's "dialektische philosophie der neuzeit." he charges rod, Among others, With reducing a problem of dialectic to a simple alternative: either dialectic is an ordinary analytical method and does not merit separate name, Or it is a separate framework for interpreting scientific research and deserves its name, Or it is metaphysical and remains outside science. The author traces the results (...) of accepting such alternatives in the discussion of present day dialectic and demonstrates the necessity of suspended judgement, As far as controversial issues within this field are concerned, At least until further research validates a more definite stand. (shrink)

The paper describes in detail the procedure of identification of the inner language and an inner logico of a physical theory. The procedure is a generalization of the original ideas of J. von Neuman and G. Birkhoff about quantum logic.

The "space" of Lascar strong types, on some sort and relative to a given complete theory T, is in general not a compact Hausdorff topological space. We have at least three aims in this paper. The first is to show that spaces of Lascar strong types, as well as other related spaces and objects such as the Lascar group Gal L of T, have well-defined Borel cardinalities. The second is to compute the Borel cardinalities of the known examples as well (...) as of some new examples that we give. The third is to explore notions of definable map, embedding, and isomorphism, between these and related quotient objects. We also make some conjectures, the main one being roughly "smooth if and only if trivial". The possibility of a descriptive set-theoretic account of the complexity of spaces of Lascar strong types was touched on in the paper [E. Casanovas, D. Lascar, A. Pillay and M. Ziegler, Galois groups of first order theories, J. Math. Logic1 305–319], where the first example of a "non-G-compact theory" was given. The motivation for writing this paper is partly the discovery of new examples via definable groups, in [A. Conversano and A. Pillay, Connected components of definable groups and o-minimality I, Adv. Math.231 605–623; Connected components of definable groups and o-minimality II, to appear in Ann. Pure Appl. Logic] and the generalizations in [J. Gismatullin and K. Krupiński, On model-theoretic connected components in some group extensions, preprint, arXiv:1201.5221v1]. (shrink)

Open peer commentary on the article “Exploration of the Functional Properties of Interaction: Computer Models and Pointers for Theory” by Etienne B. Roesch, Matthew Spencer, Slawomir J. Nasuto, Thomas Tanay & J. Mark Bishop. Upshot: We challenge the authors’ claim in the target article that “departing from cognitivism requires the development of a new functional framework that will support causal, powerful and goal-directed behavior in the context of the interaction between the organism and the environment.” We argue that rather (...) than a departure from cognitivism, the indicated goal is a natural complement or extension of the classical understanding of cognitivism. In order to reach such a goal, no new functional framework has to be developed right from scratch: there are many insights in related areas of research that can serve such a purpose well and can become an integral part of constructive cognitivism. We welcome the idea to build constructive foundations of cognitivism. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

In this paper, we complement proximate or ‘how’ explanations for the origins of language, broadening our perspective to include fitness-consequences explanations, i.e. ultimate, or ‘why’ explanations. We identify the platform of trust as a fundamental prerequisite for the development of a language-like system of symbolic communication. The platform of trust is a social niche in which cheap but honest communication with non-kin is possible, because messages tend to be trusted as a default. We briefly consider the place of the platform (...) of trust on the road map as laid out in the Mirror System Hypothesis. We then turn to recent research on turn-taking in primates, which has been proposed as a precursor of the cooperative structuring of conversation in humans. We suggest, instead, that human turn-taking, in its full richness that makes it an interesting explanatory target, may only appear in a communicative system that is already founded on a community-wide, cooperative platform of trust. (shrink)

We study the structure of analytic ideals of subsets of the natural numbers. For example, we prove that for an analytic ideal I, either the ideal {X (Ω × Ω: En X ({0, 1,…,n} × Ω } is Rudin-Keisler below I, or I is very simply induced by a lower semicontinuous submeasure. Also, we show that the class of ideals induced in this manner by lsc submeasures coincides with Polishable ideals as well as analytic P-ideals. We study this class of (...) ideals and characterize, for example, when the ideals in it are Fσ or when they carry a locally compact group topology. We apply these results to Borel partial orders to rederive a theorem of Todorcevic and to Borel equivalence relations to answer a question of Kechris and Louveau. As another application we give a characterization of σ-ideals of μ-zero sets for Maharam submeasures μ on the Cantor set which is to a large extent analogous to a characterization of the meager ideal due to Kechris and the author. (shrink)

The set of design features developed by Charles Hockett in the 1950s and 1960s remains probably the most influential means of juxtaposing animal communication with human language. However, the general theoretical perspective of Hockett is largely incompatible with that of modern language evolution research. Consequently, we argue that his classificatory system—while useful for some descriptive purposes—is of very limited use as a theoretical framework for evolutionary linguistics. We see this incompatibility as related to the ontology of language, i.e. deriving from (...) Hockett’s interest in language as a product rather than a suite of sensorimotor, cognitive and social abilities that enable the use but also acquisition of language by biological creatures. After a reconstruction of Hockett’s views on design features, we raise two criticisms: focus on the means at the expense of content and focus on the code itself rather than the cognitive abilities of its users. Finally, referring to empirical data, we illustrate some of the problems resulting from Hockett’s approach by addressing three specific points—namely arbitrariness and semanticity, cultural transmission, and displacement—and show how the change of perspective allows to overcome those difficulties. (shrink)

Livio Rossetti, Le dialogue socratique, Éditions Les Belles Lettres, Paris 2011, ss. 296.

A new approach to semantics, based on ordered Banach spaces, is proposed. The Banach spaces semantics arises as a generalization of the four particular cases: the Giles' approach to belief structures, its generalization to the non-Boolean case, and fuzzy extensions of Boolean as well as of non-Boolean semantics.

§1. Introduction. Ideals and filters of subsets of natural numbers have been studied by set theorists and topologists for a long time. There is a vast literature concerning various kinds of ultrafilters. There is also a substantial interest in nicely definable ideals—these by old results of Sierpiński are very far from being maximal— and the structure of such ideals will concern us in this announcement. In addition to being interesting in their own right, Borel and analytic ideals occur naturally in (...) the investigations of compact subsets of the space of all Baire class 1 functions on a Polish space, see [12, 18]. Also, certain objects associated with such ideals are of considerable interest and were quite extensively studied by several authors. Let us list here three examples; in all three of them I stands for an analytic or Borel ideal.1. The partial order induced by I on P: X ≥I Y iff X \ Y ϵ I and the partial order.2. Boolean algebras of the form P/I and their automorphisms.3. The equivalence relation associated with I: XEI Y iff X Δ ϵ I.In Section 4, we will have an opportunity to state some consequences of our results for equivalence relations as in 3. (shrink)

We construct free algebras in the variety generated by the equivalential algebra with conjunction on dense elements and compute the formula for the free spectrum of this variety. Moreover, we describe the decomposition of free algebras into directly indecomposable factors.